منابع مشابه
1 Prolog as the First Programming Language
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher conceptual level of this programming paradigm guides students to an early appreciation for abstraction. The descriptive character of programs makes them more understandable than conventional programs, and the relational basis makes them more versatile. This incremental and high...
متن کاملUsing Prolog as metalanguage for teaching programming language concepts
syntax trees are represented as Prolog terms but at the same time with an acceptable concrete appearance. A defining interpreter consists of the following predicates. program(program, final-storage) statement(statement, storage-before, storage-after) expression(expression, storage, integer) condition(condition, storage, ftrue, falseg) Some of the rules of this interpreter are shown in the follo...
متن کاملA Prolog-Based Language for Workflow Programming
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow systems in use, mostly commercial products, and no standard language has been defined in which to express workflow specifications. In this paper we propose Workflow Prolog, a new extension of Prolog. The language allows wor...
متن کاملLambda-Prolog: An Extended Logic Programming Language
The logic programming language AProlog is an extension of conventional Prolog in several different directions. These extensions provide higher-order functions, A-terms, a polymorphic typing discipline, modules, and a mechanism for providing secure abstract datatypes. Our original goal in developing AProlog was to understand the essential logical and proof theoretic nature of these extensions. T...
متن کاملThe Use of C# as a First Programming Language
This paper examines the use of the C# programming language for a first course in computer programming in an engineering curriculum. C# is an object-oriented programming language that incorporates language features from C, C++, Java, and Delphi. The Department of Electrical and Computer Engineering at the University of Waterloo has been using C# in its Introduction to Computing course for the pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGCSE Bulletin
سال: 2007
ISSN: 0097-8418
DOI: 10.1145/1345375.1345416